﻿#region Copyright
// Copyright (c) 2011-2012 RaisingForce Team (Alikin Sergey)
//
// Permission is hereby granted, free of charge, to any person
// obtaining a copy of this software and associated documentation
// files (the "Software"), to deal in the Software without
// restriction, including without limitation the rights to use,
// copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the
// Software is furnished to do so, subject to the following
// conditions:
//
// The above copyright notice and this permission notice shall be
// included in all copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
// NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
// HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
// WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
// OTHER DEALINGS IN THE SOFTWARE.
#endregion

using System;
using System.Diagnostics.Contracts;

namespace RaisingForce.Raise.Language.RStates.Internal
{
    sealed internal class RStateReadOnlyContextState :
        IRStateContextState
    {
        #region Constructors

        internal RStateReadOnlyContextState(IRStateContextState contextState)
        {
            Contract.Requires(contextState != null);
            this.contextState = contextState;
        }

        #endregion

        #region Private Declarations

        private readonly IRStateContextState contextState;

        [ContractInvariantMethod]
        private void ObjectInvariant()
        {
            Contract.Invariant(this.contextState != null);
        }

        #endregion

        #region Base Overrides

        public override bool Equals(object obj)
        {
            return obj is IRStateContextState ?
                this.Equals((IRStateContextState)obj) :
                false;
        }

        public override int GetHashCode()
        {
            return RStateContextStateHelper.GetHashCode(this);
        }

        #endregion

        #region IRStateContextState Members

        public CounterState CounterState
        {
            get { return this.contextState.CounterState; }
        }

        public CounterValue CounterValue
        {
            get { return this.contextState.CounterValue; }
        }

        public CounterInitializedState CounterInitializedState
        {
            get { return this.contextState.CounterInitializedState; }
        }

        public CurrentChain CurrentChain
        {
            get { return this.contextState.CurrentChain; }
        }

        public PreviousChain PreviousChain
        {
            get { return this.contextState.PreviousChain; }
        }

        public ObjectPosition ObjectPosition
        {
            get { return this.contextState.ObjectPosition; }
        }

        public IRStateContextState AsReadOnly()
        {
            return this;
        }

        #endregion

        #region IEquatable<IRStateContextState> Members

        [Pure]
        public bool Equals(IRStateContextState other)
        {
            return RStateContextStateHelper.Equals(this, other);
        }

        #endregion
    }
}
